cos(2x)*e^(-x) dx